201. Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
Author: / David Luckham
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: ANNA (Computer program language),Ada (Computer program language)
Classification :
QA76
.
73
.
A54L83
1990
202. Rational for the design of the Ada programming Language
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Ada (computer program Language)
Classification :
005
R236
203. Real time programming 1980: Proceedings of the IFAC/IFIP workshop, schloss Retzhof, Leibinitz, Austria, 14- 16 April 1980
Author: edited by V.H.Haase, ist ed
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Real- time data processing - congresses,، Electronic digital computers- programming- congresses,، Ada )computer program language( - congresses
Classification :
QA
76
.
54
.
R42
1980
204. Reference manual for the Ada programming Language
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Ada (Computer program Language)
Classification :
005
R332
205. Reference manual for the Ada programming Language. ANSI/MIL-STD 1815A- 1983
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Ada )Computer program language(
Classification :
QA
76
.
73
.
A16
.
R43
1983
206. Reliable software technologies
Author: Albert Llamosí, Alfred Strohmeier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language), Congresses.,Computer software-- Reliability, Congresses.
207. Reliable software technologies :
Author: Alfred Strohmeier, Dirk Craeynest (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language), Congresses
Classification :
QA76
.
73
.
A16
A23
2001
208. Reliable software technologies--Ada-Europe 2012
Author: Mats Brorsson, Luís Miguel Pinho (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language), Congresses,Computer software-- Reliability, Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
R44
A33
2012eb
209. Reliable software technologies, Ada-Europe '96 :
Author: Alfred Strohmeier, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
Classification :
QA76
.
73
.
A16
A447
1996
210. Reliable software technologies- Ada-Europe'97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, Uk, June 2-6, 1997 : proceedings
Author: Keith Hardy, Jim Briggs )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
1251
211. Reliable software technologies : Ada-Europe'96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings
Author: Alfred Strohmeier )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
1088
212. Reliable software technologies - Ada-Europe'99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 1999 : proceedings
Author: Michael Gonzalez Harbour, Juan A. de la Puente )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
1622
213. Reliable software technologies--Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings
Author: Lars Asplund )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
1411
214. Reliable software technologies Ada Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30 2000 : proceedings
Author: Hubert B. Keller, Erhard Plodereder )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
1845
215. Reliable software technologies: Ada-Europe 2001: 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Ada )Computer program language(
Classification :
QA
76
.
73
.
A16
.
A23
2001
216. Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings
Author: Dirk Craeynest, Alfred Strohmeier )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
2043
217. Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
Author: Albert Llamosi, Alfred Strohmeier )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Reliability --Congresses ، Computer software,Congresses ، Ada )Computer program language(
Classification :
QA
76
.
L28
Vol
.
3063
218. Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings
Author: Tullio Vardanega, Andy Wellings )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Reliability -- Congresses ، Computer software,، Ada )Computer program language(
Classification :
QA
76
.
L28
Vol
.
3555
219. Software components with Ada: Structures, tools, and subsystems
Author: Booch, Grady
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Ada )computer program language(
Classification :
QA
76
.
73
.
A35
B65
1987
220. Software components with Ada : structures, tools, and subsystems
Author: Booch, Grady.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Ada )Computer program language(
Classification :
QA
76
.
73
.
A35B65
1987
